{-- 
    Example code for 'https://github.com/Frege/frege/issues/125 issue 125'
    
    The attempt to unify mutable native types with their supertypes must fail
    when the supertype is not also mutable native.
-}
module tests.nocomp.Issue125 where


pure native toString :: Object -> String

wrong = toString stdin

